two-way push-down automaton

双向下推自动机